1. Logic with prolog
پدیدآورنده : Peter Gibbins
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Prolog (Computer program language),Logic programming
رده :
QA
،
76
.
73
،.
P76
,
G53
،
1988
2. Logic with prolog
پدیدآورنده : / Peter gibbins,Gibbins
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Prolog ( Computer Program language),Logic programming
رده :
QA
76
.
73
.
P76G53
1988
3. Particles and paradoxes: The limits of quantum logic
پدیدآورنده : Gibbins, Peter.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Quantum logic,Philosophy ، Physics
رده :
QC
174
.
12
.
G5P3
4. Particles and paradoxes : the limits of quantum logic
پدیدآورنده : Gibbins, Peter
کتابخانه: (طهران)
موضوع : ، Quantum theory
رده :
QC
174
.
12
.
G54
1987
